Integrand size = 19, antiderivative size = 311 \[ \int \frac {x (a+b \arctan (c x))}{d+e x^2} \, dx=-\frac {(a+b \arctan (c x)) \log \left (\frac {2}{1-i c x}\right )}{e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e}+\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2}{1-i c x}\right )}{2 e}-\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e}-\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e} \]
[Out]
Time = 0.18 (sec) , antiderivative size = 311, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.263, Rules used = {5100, 4966, 2449, 2352, 2497} \[ \int \frac {x (a+b \arctan (c x))}{d+e x^2} \, dx=\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{(1-i c x) \left (c \sqrt {-d}-i \sqrt {e}\right )}\right )}{2 e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{(1-i c x) \left (c \sqrt {-d}+i \sqrt {e}\right )}\right )}{2 e}-\frac {\log \left (\frac {2}{1-i c x}\right ) (a+b \arctan (c x))}{e}-\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e}-\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {e} x+\sqrt {-d}\right )}{\left (\sqrt {-d} c+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e}+\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2}{1-i c x}\right )}{2 e} \]
[In]
[Out]
Rule 2352
Rule 2449
Rule 2497
Rule 4966
Rule 5100
Rubi steps \begin{align*} \text {integral}& = \int \left (-\frac {a+b \arctan (c x)}{2 \sqrt {e} \left (\sqrt {-d}-\sqrt {e} x\right )}+\frac {a+b \arctan (c x)}{2 \sqrt {e} \left (\sqrt {-d}+\sqrt {e} x\right )}\right ) \, dx \\ & = -\frac {\int \frac {a+b \arctan (c x)}{\sqrt {-d}-\sqrt {e} x} \, dx}{2 \sqrt {e}}+\frac {\int \frac {a+b \arctan (c x)}{\sqrt {-d}+\sqrt {e} x} \, dx}{2 \sqrt {e}} \\ & = -\frac {(a+b \arctan (c x)) \log \left (\frac {2}{1-i c x}\right )}{e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e}+2 \frac {(b c) \int \frac {\log \left (\frac {2}{1-i c x}\right )}{1+c^2 x^2} \, dx}{2 e}-\frac {(b c) \int \frac {\log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{1+c^2 x^2} \, dx}{2 e}-\frac {(b c) \int \frac {\log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{1+c^2 x^2} \, dx}{2 e} \\ & = -\frac {(a+b \arctan (c x)) \log \left (\frac {2}{1-i c x}\right )}{e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e}-\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e}-\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e}+2 \frac {(i b) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1-i c x}\right )}{2 e} \\ & = -\frac {(a+b \arctan (c x)) \log \left (\frac {2}{1-i c x}\right )}{e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{2 e}+\frac {(a+b \arctan (c x)) \log \left (\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{2 e}+\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2}{1-i c x}\right )}{2 e}-\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}-\sqrt {e} x\right )}{\left (c \sqrt {-d}-i \sqrt {e}\right ) (1-i c x)}\right )}{4 e}-\frac {i b \operatorname {PolyLog}\left (2,1-\frac {2 c \left (\sqrt {-d}+\sqrt {e} x\right )}{\left (c \sqrt {-d}+i \sqrt {e}\right ) (1-i c x)}\right )}{4 e} \\ \end{align*}
Time = 0.10 (sec) , antiderivative size = 441, normalized size of antiderivative = 1.42 \[ \int \frac {x (a+b \arctan (c x))}{d+e x^2} \, dx=-\frac {i b \log (1+i c x) \log \left (\frac {c \left (\sqrt {-d}-\sqrt {e} x\right )}{c \sqrt {-d}-i \sqrt {e}}\right )}{4 e}+\frac {i b \log (1-i c x) \log \left (\frac {c \left (\sqrt {-d}-\sqrt {e} x\right )}{c \sqrt {-d}+i \sqrt {e}}\right )}{4 e}+\frac {i b \log (1-i c x) \log \left (\frac {c \left (\sqrt {-d}+\sqrt {e} x\right )}{c \sqrt {-d}-i \sqrt {e}}\right )}{4 e}-\frac {i b \log (1+i c x) \log \left (\frac {c \left (\sqrt {-d}+\sqrt {e} x\right )}{c \sqrt {-d}+i \sqrt {e}}\right )}{4 e}+\frac {a \log \left (d+e x^2\right )}{2 e}+\frac {i b \operatorname {PolyLog}\left (2,-\frac {\sqrt {e} (1-i c x)}{i c \sqrt {-d}-\sqrt {e}}\right )}{4 e}+\frac {i b \operatorname {PolyLog}\left (2,\frac {\sqrt {e} (1-i c x)}{i c \sqrt {-d}+\sqrt {e}}\right )}{4 e}-\frac {i b \operatorname {PolyLog}\left (2,-\frac {\sqrt {e} (1+i c x)}{i c \sqrt {-d}-\sqrt {e}}\right )}{4 e}-\frac {i b \operatorname {PolyLog}\left (2,\frac {\sqrt {e} (1+i c x)}{i c \sqrt {-d}+\sqrt {e}}\right )}{4 e} \]
[In]
[Out]
Time = 0.27 (sec) , antiderivative size = 394, normalized size of antiderivative = 1.27
method | result | size |
risch | \(\frac {i b \ln \left (-i c x +1\right ) \ln \left (\frac {c \sqrt {e d}-\left (-i c x +1\right ) e +e}{c \sqrt {e d}+e}\right )}{4 e}+\frac {i b \ln \left (-i c x +1\right ) \ln \left (\frac {c \sqrt {e d}+\left (-i c x +1\right ) e -e}{c \sqrt {e d}-e}\right )}{4 e}+\frac {i b \operatorname {dilog}\left (\frac {c \sqrt {e d}-\left (-i c x +1\right ) e +e}{c \sqrt {e d}+e}\right )}{4 e}+\frac {i b \operatorname {dilog}\left (\frac {c \sqrt {e d}+\left (-i c x +1\right ) e -e}{c \sqrt {e d}-e}\right )}{4 e}+\frac {a \ln \left (\left (-i c x +1\right )^{2} e -c^{2} d -2 \left (-i c x +1\right ) e +e \right )}{2 e}-\frac {i b \ln \left (i c x +1\right ) \ln \left (\frac {c \sqrt {e d}-\left (i c x +1\right ) e +e}{c \sqrt {e d}+e}\right )}{4 e}-\frac {i b \ln \left (i c x +1\right ) \ln \left (\frac {c \sqrt {e d}+\left (i c x +1\right ) e -e}{c \sqrt {e d}-e}\right )}{4 e}-\frac {i b \operatorname {dilog}\left (\frac {c \sqrt {e d}-\left (i c x +1\right ) e +e}{c \sqrt {e d}+e}\right )}{4 e}-\frac {i b \operatorname {dilog}\left (\frac {c \sqrt {e d}+\left (i c x +1\right ) e -e}{c \sqrt {e d}-e}\right )}{4 e}\) | \(394\) |
parts | \(\frac {a \ln \left (e \,x^{2}+d \right )}{2 e}+\frac {b \left (\frac {\arctan \left (c x \right ) c^{2} \ln \left (e \,c^{2} x^{2}+c^{2} d \right )}{2 e}-\frac {c^{2} \left (-\frac {i \left (\ln \left (c x -i\right ) \ln \left (e \,c^{2} x^{2}+c^{2} d \right )-2 e \left (\frac {\ln \left (c x -i\right ) \left (\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )\right )}{2 e}+\frac {\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )}{2 e}\right )\right )}{2}+\frac {i \left (\ln \left (c x +i\right ) \ln \left (e \,c^{2} x^{2}+c^{2} d \right )-2 e \left (\frac {\ln \left (c x +i\right ) \left (\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )\right )}{2 e}+\frac {\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )}{2 e}\right )\right )}{2}\right )}{2 e}\right )}{c^{2}}\) | \(614\) |
derivativedivides | \(\frac {\frac {a \,c^{2} \ln \left (e \,c^{2} x^{2}+c^{2} d \right )}{2 e}+b \,c^{2} \left (\frac {\arctan \left (c x \right ) \ln \left (e \,c^{2} x^{2}+c^{2} d \right )}{2 e}-\frac {-\frac {i \left (\ln \left (c x -i\right ) \ln \left (e \,c^{2} x^{2}+c^{2} d \right )-2 e \left (\frac {\ln \left (c x -i\right ) \left (\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )\right )}{2 e}+\frac {\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )}{2 e}\right )\right )}{2}+\frac {i \left (\ln \left (c x +i\right ) \ln \left (e \,c^{2} x^{2}+c^{2} d \right )-2 e \left (\frac {\ln \left (c x +i\right ) \left (\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )\right )}{2 e}+\frac {\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )}{2 e}\right )\right )}{2}}{2 e}\right )}{c^{2}}\) | \(622\) |
default | \(\frac {\frac {a \,c^{2} \ln \left (e \,c^{2} x^{2}+c^{2} d \right )}{2 e}+b \,c^{2} \left (\frac {\arctan \left (c x \right ) \ln \left (e \,c^{2} x^{2}+c^{2} d \right )}{2 e}-\frac {-\frac {i \left (\ln \left (c x -i\right ) \ln \left (e \,c^{2} x^{2}+c^{2} d \right )-2 e \left (\frac {\ln \left (c x -i\right ) \left (\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )\right )}{2 e}+\frac {\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x +i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}+2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )}{2 e}\right )\right )}{2}+\frac {i \left (\ln \left (c x +i\right ) \ln \left (e \,c^{2} x^{2}+c^{2} d \right )-2 e \left (\frac {\ln \left (c x +i\right ) \left (\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\ln \left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )\right )}{2 e}+\frac {\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =1\right )}\right )+\operatorname {dilog}\left (\frac {\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )-c x -i}{\operatorname {RootOf}\left (e \,\textit {\_Z}^{2}-2 i e \textit {\_Z} +c^{2} d -e , \operatorname {index} =2\right )}\right )}{2 e}\right )\right )}{2}}{2 e}\right )}{c^{2}}\) | \(622\) |
[In]
[Out]
\[ \int \frac {x (a+b \arctan (c x))}{d+e x^2} \, dx=\int { \frac {{\left (b \arctan \left (c x\right ) + a\right )} x}{e x^{2} + d} \,d x } \]
[In]
[Out]
\[ \int \frac {x (a+b \arctan (c x))}{d+e x^2} \, dx=\int \frac {x \left (a + b \operatorname {atan}{\left (c x \right )}\right )}{d + e x^{2}}\, dx \]
[In]
[Out]
\[ \int \frac {x (a+b \arctan (c x))}{d+e x^2} \, dx=\int { \frac {{\left (b \arctan \left (c x\right ) + a\right )} x}{e x^{2} + d} \,d x } \]
[In]
[Out]
\[ \int \frac {x (a+b \arctan (c x))}{d+e x^2} \, dx=\int { \frac {{\left (b \arctan \left (c x\right ) + a\right )} x}{e x^{2} + d} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {x (a+b \arctan (c x))}{d+e x^2} \, dx=\int \frac {x\,\left (a+b\,\mathrm {atan}\left (c\,x\right )\right )}{e\,x^2+d} \,d x \]
[In]
[Out]